6

Handsome proof-nets: perfect matchings and cographs

Year:
2003
Language:
english
File:
PDF, 176 KB
english, 2003
10

Introduction

Year:
1998
Language:
english
File:
PDF, 24 KB
english, 1998
17

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 ||

Year:
2012
Language:
english
File:
PDF, 2.76 MB
english, 2012
23

Category theory, logic and formal linguistics: Some connections, old and new

Year:
2014
Language:
english
File:
PDF, 324 KB
english, 2014
24

The mix rule

Year:
1994
Language:
english
File:
PDF, 709 KB
english, 1994
27

A semantic characterisation of the correctness of a proof net

Year:
1997
Language:
english
File:
PDF, 432 KB
english, 1997
50

open spin chains

Year:
2017
Language:
english
File:
PDF, 563 KB
english, 2017